home *** CD-ROM | disk | FTP | other *** search
/ Freelog 117 / FreelogNo117-OctobreNovembre2013.iso / Programmation / jedit / jedit5.1.0install.exe / {app} / macros / Files / Duplicate_Buffer.bsh < prev    next >
Text File  |  2013-07-28  |  1KB  |  34 lines
  1. /*
  2.  * Duplicate_Buffer.bsh - a BeanShell macro script for the
  3.  * jEdit text editor - duplicate the current buffer into a new one.
  4.  * Copyright (C) 2007 Matthieu Casanova
  5.  *
  6.  * This program is free software; you can redistribute it and/or
  7.  * modify it under the terms of the GNU General Public License
  8.  * as published by the Free Software Foundation; either version 2
  9.  * of the License, or any later version.
  10.  *
  11.  * This program is distributed in the hope that it will be useful,
  12.  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13.  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14.  * GNU General Public License for more details.
  15.  *
  16.  * You should have received a copy of the GNU General Public License
  17.  * along with the jEdit program; if not, write to the Free Software
  18.  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
  19.  *
  20.  * $Id$
  21.  */
  22.  
  23. if (buffer.getLength() == 0)
  24.     return;
  25. Buffer oldBuffer = buffer;
  26. int caret = textArea.getCaretPosition();
  27. String text = buffer.getText(0, buffer.getLength());
  28. Buffer newBuffer = jEdit.newFile(view);
  29.  
  30. newBuffer.insert(0,text);
  31.  
  32. newBuffer.setMode(oldBuffer.getMode());
  33. textArea.setCaretPosition(caret);
  34.